منابع مشابه
Continuity, freeness, and filtrations
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in the incremental construction of (standard) finitely generated free S4-algebras. This Technical Report reproduces the content of my talk given at the worksh...
متن کاملFault Grading FPGA Interconnect Test Configurations
Conventional fault simulation techniques for FPGAs are very complicated and time consuming. The other alternative, FPGA fault emulation technique, is incomplete, and can be used only after the FPGA chip is manufactured. In this paper, we present efficient algorithms for computing the fault coverage of a given FPGA test configuration. The faults considered are opens and shorts in FPGA interconne...
متن کاملRhombus Filtrations and Rauzy Algebras
Abstract. Peach introduced rhombal algebras associated to quivers given by tilings of the plane by rhombi. We develop general techniques to analyze rhombal algebras, including a filtration by what we call rhombus modules. We introduce a way to relate the infinite-dimensional rhombal algebra corresponding to a complete tiling of the plane to finite-dimensional algebras corresponding to finite po...
متن کاملEnlargements of Filtrations and Applications
In this paper we review some old and new results about the enlargement of filtrations problem, as well as their applications to credit risk and insider trading problems. The enlargement of filtrations problem consists in the study of conditions under which a semimartingale remains a semimartingale when the filtration is enlarged, and, in such a case, how to find the Doob-Meyer decomposition. Fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2014
ISSN: 0025-5831,1432-1807
DOI: 10.1007/s00208-014-1126-3